#include<stdio.h>
#include<unistd.h>
int main(){
  printf("%d\r", 1235456);
  fflush(stdout);
  sleep(3);
  printf("%s\n", "xx123456");
  return 0;
}
